home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / noweb / contrib / conrado / keywords.tex < prev    next >
Text File  |  1995-02-24  |  2KB  |  60 lines
  1. \def\COMMENT#1{\{\parbox[t]{\codewidth}{\rm #1\}}}
  2. \def\ASSERT#1{\{\mbox{\rm #1}\}}
  3. \def\PROGRAM{{\bf pro}\tab{\bf gram\ }}
  4. \def\ENDPROGRAM{\untab{\bf end}}
  5. \def\USES{{\bf uses\ }\tab}
  6. \def\ENDUSES{\untab{\bf end}}
  7. \def\MODULE{{\bf mod}\tab{\bf ule\ }}
  8. \def\ENDMODULE{\untab{\bf end}}
  9. \def\SPECIFICATION{{\bf spe}\tab{\bf cification\ }}
  10. \def\ENDSPECIFICATION{\untab{\bf end}}
  11. \def\IMPLEMENTATION{{\bf imp}\tab{\bf lementation\ }}
  12. \def\ENDIMPLEMENTATION{\untab{\bf end}}
  13. \def\IMPORT{{\bf imp}\tab{\bf orts\ }}
  14. \def\ENDIMPORT{\untab{\bf end}}
  15. \def\TYPE{{\bf type\ }\tab}
  16. \def\ENDTYPE{\untab}
  17. \def\VAR{{\bf var\ }\tab}
  18. \def\ENDVAR{\untab}
  19. \def\CONST{{\bf const\ }\tab}
  20. \def\ENDCONST{\untab}
  21. \def\ARRAY{{\bf array\ }}
  22. \def\RECORD{\tab{\bf rec}\tab{\bf ord\ }}
  23. \def\ENDRECORD{\untab{\bf end}$\-$}
  24. \def\BEGIN{}
  25. \def\IF{{\bf if }\tab\ \ \tab}
  26. \def\ELSE{\untab\untab [\!]$\>$}
  27. \def\ENDIF{\untab\untab {\bf fi}}
  28. \def\THEN{\ \longrightarrow\ \ \tab}
  29. \def\SKIP{\emptyset}
  30. \def\WHILE{{\bf whi}\tab{\bf le\ }}
  31. \def\ENDWHILE{\untab{\bf end}}
  32. \def\DO{{\bf\ do\ }}
  33. \def\DDO{{\bf do\ }\tab}
  34. \def\ENDDO{\untab{\bf end}}
  35. \def\FORALL{{\bf for}\tab{\bf\ all\ }}
  36. \def\FOR{{\bf for}\tab\ }
  37. \def\ENDFOR{\untab{\bf end}}
  38. \def\ENDFORALL{\untab{\bf end}}
  39. \def\PARALLEL{{\bf\ parallel\ }}
  40. \def\REPEAT{{\bf rep}\tab{\bf eat\ }}
  41. \def\UNTIL{\untab{\bf until\ }}
  42. \def\AND{\mathbin{\hbox{\bf and}}}
  43. \def\OR{\mathbin{\hbox{\bf or}}}
  44. \def\NOT{\mathop{\hbox{\bf not}}}
  45. \def\CAT{\mathbin{\&}}
  46. \def\OF{{\bf\ of\ }}
  47. \def\IN{{\bf\ in\ }}
  48. \def\DIV{\mathbin{\hbox{\bf div}}}
  49. \def\MOD{\mathbin{\hbox{\bf mod}}}
  50. \def\PROCEDURE{{\bf pro}\tab{\bf cedure\ }}
  51. \def\ENDPROCEDURE{\untab{\bf end}}
  52. \def\FUNCTION{{\bf fun}\tab{\bf ction\ }}
  53. \def\ENDFUNCTION{\untab{\bf end}}
  54. \def\RETURNS{{\bf return\ }}
  55. \def\INP{{\bf in\ }}
  56. \def\OUTP{{\bf out\ }}
  57. \def\INOUTP{{\bf in/out\ }}
  58. \def\PRIVATE{{\bf private\ }}
  59.  
  60.